Convert decimal to fraction (#799)