Not sure if passed by register. Needs to be double checked once float64 support has been added for arm64.