more hard float fixes (use of double will crash the F4)