Add support for printing out floating point values from the ARM assembly