forked from: Rounding down a positive number

