what decimal is equivalent to 0.85