Sergey's Gauss with fraq arithmetic