fix multiplication of an integer by a literal double