style.set_precision(0) displays spurious .0
The expected display format would be as in [2]:
![screenshot](https://cloud.githubusercontent.com/assets/6342379/12556293/77593db2-c385-11e5-89e1-69a2bdd0a049.png)
