ZM.Type.Float64

data IEEE_754_binary64