Lines Matching refs:rounded
4915 # rounded to double precision. The result is provably monotonic #
5620 # rounded to double precision. The result is provably monotonic #
6500 # rounded to double precision. The result is provably monotonic #
6697 # rounded to double precision. The result is provably monotonic #
6805 # rounded to 62 bits so that the last two bits of T are #
7279 cmp.l %d1,&0x4004C215 # 70log2 rounded up to 16 bits
7578 # rounded to double precision. The result is provably monotonic #
7692 # rounded to double precision. The result is provably monotonic #
7810 # rounded to double precision. The result is provably monotonic #
7976 # rounded to double precision. The result is provably monotonic #
8571 # rounded to double precision. The result is provably monotonic #
8661 # rounded to double precision. The result is provably monotonic #
8825 # rounded to double precision. The result is provably monotonic #