Because categorical functions rely on equality-based identity, and floating point values cannot reliably be compared for equality, the validator should prohibit categorical functions which use stop domain values that aren't integers. For example, the following should be disallowed:
Because categorical functions rely on equality-based identity, and floating point values cannot reliably be compared for equality, the validator should prohibit categorical functions which use stop domain values that aren't integers. For example, the following should be disallowed: