Added more decimals, and #639