Fix generation of constant float multiplication