rationalised semirational denormalized subduplicate surd rounded down rational ultrametricised irrational subsetted