Non-trivial float multiplication is broken

[LisannaAtHome]

> let a = { b = 0.5; }; in a.b * 2
=> value is a float while an integer was expected, at (string):1:26
> 0.5 * 2
=> 1
> let a = 0.5; in a * 2
=> 1
> let a = { b = 0.5; }; c = a.b; in c * 2
=> value is a float while an integer was expected, at (string):1:35
> let a = { b = 0.5; }; c = a.b; in builtins.seq c (c * 2)
=> 1

[LisannaAtHome]

More float weirdness:

> let a = { b = 0.5; }; in a.b * 2.0
=> 1
> let a = { b = 0.5; }; in a.b * (2.0 + 0.5)
=> value is a float while an integer was expected, at (string):1:26

[LisannaAtHome]

Okay, it doesn't even have to be an attrset

> (0.5 + 0.5) * (2.0 + 0.5)
=> value is a float while an integer was expected, at (string):1:1

[LisannaAtHome]

Workaround seems to be to make sure the float operands are fully evaluated to floats (are not thunks).