Float number handling in ARM Procedure Call Standard