Added is_integral invariant