I think it would be pretty straightforward to implement this in an algebraic way without needing to resort to fractional values since you know beforehand that the solution is an integer.

In that case you can keep the value of sqrt(5) as sqrt(5) knowing it will cancel out at some point.