convert 0.25 to ternary