work around bug(?) in Java 1.8 with Scanner.nextDouble