Searched refs:ten_ninths (Results 1 – 1 of 1) sorted by relevance
429 static CR ten_ninths = valueOf(10).divide(valueOf(9)); field in CR432 static CR ln2_1 = valueOf(7).multiply(ten_ninths.simple_ln());