Change multiplication behavior of oo with Float to return oo.

See #7765