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