Searched refs:eightyone_eightyeths (Results 1 – 1 of 1) sorted by relevance
431 static CR eightyone_eightyeths = valueOf(81).divide(valueOf(80)); field in CR435 static CR ln2_3 = valueOf(3).multiply(eightyone_eightyeths.simple_ln());