am 30ae871a: Fix Double.toString.

* commit '30ae871abe462723f78b2981178a9d5a73f5e129':
  Fix Double.toString.
tree: 4b825dc642cb6eb9a060e54bf8d69288fbee4904

This tree is empty.