fails:Integer#fdiv rounds to the correct value for bignums
