Step 1: Identify the number of decimal places

The decimal 80.13712 has 5 decimal places.

Step 2: Multiply by the appropriate power of 10

Multiply by 10⁵ = 100000 to eliminate the decimal point.

80.13712 × 100000 = 8013712

Step 3: Write as a fraction

Step 4: Simplify the fraction

Find the greatest common divisor (GCD) of 8013712 and 100000.

GCD(8013712, 100000) = 16

Divide both the numerator and denominator by the GCD: