FPU-related error fixed: need to save REAL function result to ARM register; need to save REAL value params to ARM registers before procedure call