Correct link to Java documentation for floats, fixes #93