Maybe this already takes care of the float32 case?