Added another variant of case-float-arg.