(assert Float32