introduce precision in Algorithm 3.3

quick way to introduce precisions, call to Algorithm 3.3 hasn't been
changed yet (need to think a bit about the right precision).