Add isExact and wrapping flags to appropriate constant binops.