rounding up BooleanTerm