added getter for precision