Robin Berjon @robinberjon · 17 Jan 2023 Replying to @danielzarick and @can Same. Addition is trivial on a rounded tip; calculating 20% exactly is work.
