Hacking around a terrible bug in javaparser
Outputting Float instead of Double appropriately