changed representation of sign and inf (simpler)