Fix variable-arity multiplication and so read-float