Fix #3182: 64 bit FP value returned by C calls was getting trashed