paper: better format the Stern-Brocot definition