a/2.0/2.0 will never yield zero if a is non-zero a/4.0 may indeed yield zero if a is the smallest number Indeed if one saw a/2.0/2.0 that's pretty peculiar, and it would not be unreasonable to guess that the properly of not yielding zero was being exploited :-)