Searched refs:twentyfive_twentyfourths (Results 1 – 1 of 1) sorted by relevance
453 static CR twentyfive_twentyfourths = valueOf(25).divide(valueOf(24)); field in CR457 valueOf(2).multiply(twentyfive_twentyfourths.simple_ln());