d

Examples

div

NumberIsFractionalDef RealNumberIsFractionalDef