deftype Native::Float64