am ae19a731: Merge "Make the specification of when we need precise constants more precise."

* commit 'ae19a731ccd62117d8b14e478caee5ac1b6251d2':
  Make the specification of when we need precise constants more precise.