#3184 0 * 0.0 --> 0, but 0.0 * 0 --> 0.0

[Barton Willis]

(%i1) 0 * 0.0;
(%o1) 0

(%i2) 0.0 * 0;
(%o2) 0.0

(%i3) 0 * 0.0b0;
(%o3) 0

(%i4) 0.0b0 * 0;
(%o4) 0.0b0