return 64 bit values in r3

split value only on 32 bit platforms