javadoc for JADouble