multiply instead -- 87 chrs solution in Clear category for Univocalic davasaan by juestr
# Instead of dividing by 10 we can multiply by 1.6 and divide by 16 or >> 4.
# The binary expansion of 1.6 is (infinite) 0b1.1001100110011...
# We shift left 31 bits to avoid fractions (log2(2000000000)<31) and round up.
davasaan=lambda x:(lambda q:q(q(q(q(q(q(q(q(0)))))))))(lambda a:(a+a+x<<1)+x+3<<2)>>35
Jan. 16, 2020