Ensure that [1.23]*1.0 == 1.23 (fix #91)