doc: Elaborate on why Ord instances for floating types is a bad idea.