am 84739276: (-s ours) am f200803f: Merge "Add a property for overriding FP precision."

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