improve binary type detection on +,-
detect sign of comparisons
note inf as double