// shouldn't be used with doubles, but we get too many of them and
// removing these operators is probably not a good idea
//
// shouldn't be used with doubles, but we get too many of them and
// removing these operators is probably not a good idea
//