Bug-fix for float precision.