BigDecimal should extend Floating but not RealFloat