I agree with Walter, but I'll go one step further and question your method of testing.  This is is not a problem with the ARM port (which uses 64bit reals).  What compiler are you using here?

Something is *VERY* wrong about this.