imported java.lang.Double as JDouble