am f200803f: Merge "Add a property for overriding FP precision."

* commit 'f200803f4a5fe4e3d0032cb24cbd9a5e982d55a3':
  Add a property for overriding FP precision.