Use five digits of precision for prices (for now).