This way you could pass an ordered float to a generic function that requires Add+Ord. Same question for Sub/Mul/Div.