Gmail Search Operators Not, ) will be a decimal.