add note about div precision

closes #6