Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.java.programmer > #38401

Re: Has Android different floats?

Path csiph.com!aioe.org!.POSTED!not-for-mail
From Arne Vajhøj <arne@vajhoej.dk>
Newsgroups comp.lang.java.programmer
Subject Re: Has Android different floats?
Date Sun, 24 Jun 2018 15:21:47 -0400
Organization Aioe.org NNTP Server
Lines 34
Message-ID <pgor09$19ak$1@gioia.aioe.org> (permalink)
References <pgool7$bru$1@news.albasani.net>
NNTP-Posting-Host PBuS014lhzVyHjLbXmo/ZQ.user.gioia.aioe.org
Mime-Version 1.0
Content-Type text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding 8bit
X-Complaints-To abuse@aioe.org
User-Agent Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0
X-Notice Filtered by postfilter v. 0.8.3
Content-Language en-US
Xref csiph.com comp.lang.java.programmer:38401

Show key headers only | View raw

On 6/24/2018 2:41 PM, j4n bur53 wrote:
> Running a simple test.
> ** is Math.pow(),
> ^ is BigInteger.pow() and then BigInteger.doubleValue().
> 
> On Java:
> 
>    ?- between(15,30,N), X is 10**N-10^N, write(N-X), nl, fail; true.
>    15-0.0

>    23-1.6777216E7

>    29-0.0
>    30-0.0
> 
> On Adroid:
> 
>    ?- between(15,30,N), X is 10**N-10^N, write(N-X), nl, fail; true.
>    15-0.0

>    23-0.0

>    29-1.7592186044416E13
>    30-0.0
> 
> Has Android different floats?
> Tested jdk1.8.0_152 against Android 8.0.0

ARM supposedly use standard IEEE 754 FP.

But I wonder if usage of strictfp would change your results.

Arne

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Has Android different floats? j4n bur53 <janburse@fastmail.fm> - 2018-06-24 20:41 +0200
  Re: Has Android different floats? Arne Vajhøj <arne@vajhoej.dk> - 2018-06-24 15:21 -0400
    Re: Has Android different floats? bursejan@gmail.com - 2018-06-24 13:31 -0700
      Re: Has Android different floats? bursejan@gmail.com - 2018-06-24 13:35 -0700
        Re: Has Android different floats? bursejan@gmail.com - 2018-06-24 13:44 -0700
        Re: Has Android different floats? Eric Sosman <esosman@comcast-dot-net.invalid> - 2018-06-24 17:28 -0400
          Re: Has Android different floats? bursejan@gmail.com - 2018-06-24 16:08 -0700
            Re: Has Android different floats? bursejan@gmail.com - 2018-06-26 10:29 -0700

csiph-web