Rather crude decimal to fraction