The top documents tagged [binary rational arithmetic]