RE: Profiling makes FFI Marshalling of Doubles and Int64s fail