corrections to shift_down and is_overflow, test "1.0 + 2.0 == 3.0" works