Added function to show Rational at a decimal precision#2945

jamesmckinna merged 3 commits intoagda:masteragda/agda-stdlib:masterfrom

aortega0703:rationals_decimal_expansionaortega0703/agda-stdlib:rationals_decimal_expansionCopy head branch name to clipboard