Some fixes regarding precision