Fallback

Priority

Field

algebra ring

FieldFunctions

ring

floor

IsIntegral IsReal IsRealFunctions

fold

Priority

fpow

NRoot NRootFunctions

from

Order PartialOrder

fromDouble

Field FieldFunctions

fromInt

Ring RingFunctions

fromUniversalEquals

Eq