Converting irrational decimals