[math-fun] Equation mixing integers and reals