The ARM code generation example seems to offload floating point as calls to a standard library rather than generating floating point instructions; is that the case?