[boost] [rational] PATCH: Use ordered_euclidean_ring_operators