Clarify the alternative of integer RHS