Added flag for float display precision.
Authored by: tswift 2018-06-11
Parent: [r9352]
Child: [r9354]