powered by
Calculate a rounded bound, rounded up to mantissa 1, 2, or 5
bound125(x)
a single positive number
for positive x, a value exceeding x that has mantissa 1, 2, or 5; otherwise, x