(assert Float64