added float operand to cast to float*