let mathd-algebra-153 = `!n:real.
    (n = &1 / &3)
==>
    floor (&10 * n) + floor (&100 * n) + floor (&1000 * n) + floor (&10000 * n) = &3702
`;;