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