more float32 propagation