Fix precision setting problem #22