World: r3wp

See, that is what I was talking about: Different behavior with negative 
numbers.

Ladislav, the result is 0.1, and we know why. The programmer should 
know too and find some way to figure out, that 0.1 almost divide 
up in 0.3. One way is to divide 0.3 by 0.1 and see if the result 
is close to an integer.

the result 0.1 is OK with me, but not with Gregg, neither with Carl, 
AFAIK

Modulus isn't defined for negative numbers, so different programming 
langages behave differently in that case. Some behave like //, some 
like MOD, some (correctly, but not usefully) error out.

as a side note, when would I ever use a modulus function with decimals? 
Maybe in special cases, where I need to write a special ROUND function 
myself or something? What is this use for else?

Proportional coordinates.

as I said, I was asked to make MOD available; and to even add the 
MODULO function, since Gregg felt, that they were useful on their 
own. YMMV

*used* for

Ladislav, I think, you and I agree much about many of these things. 
It's too bad, things get more complicated than necessary, because 
such functions become part of the language.

The difference in the handling of negative numbers is sufficient 
justification for me. The rounding difference is just a bonus.

Brian, what do you mean with proportional coordinates and the use 
of modulus?

regarding the "decimal arithmetic made easy" - this is not just the 
case of MODULO, it is also related to comparison, like EQUAL?, etc., 
I think, that it is Carl's design decision

When we are at it,

>> mold/all remainder 0.3 0.1
== "0.099999999999999978"


, i.e. remainder 0.3 0.1 astually isn't 0.1, otherwise it would be 
really wrong!

excuse my typo above "actually"

Would all those problems be solved, if the decimal! datatype actually 
was the money! datatype, and if we then had a real! datatype, that 
did it a fast way and giving results as we see in C and other languages?

As a practical example, if you are doing device-independent rendering 
you work in proportions (floating point ratios) and then convert 
to exact values (integer coordinates) on final rendering to the real 
device. Video games do this all the time - that is why GPUs need 
floating point hardware. Same with sub-pixel rendering. If you are 
working in proportions, your modulus functions will need to handle 
them. And modulus could be used for bounding box calculations on 
textured surfaces too.


In both those cases, the programmer will probably know enough about 
accumulated error to want to control it themselves. The non-rounding 
behavior of // would be a benefit to them then, so rounding can be 
minimized.

I feel, much confusion come from having a decimal! datatype, that 
isn't really that, decimal.

There are two reasons, why it it not feasible, IMO:


1) decimal! was used for IEEE754 as "the most common floating point 
datatype"


2) money! is not as "common", because it is slower, so maybe this 
should not change

Otherwise, I am pretty sure, that the name "decimal!" was unfortunate!

Also, think of the syntax. We have a sigil to denote the current 
money! type, which *was* added for financial calculations. If that 
type was the default, what would the floating-point sigil be?

...but, I guess, that Carl still thinks, that the majority of users 
may be formed by the people, for whom the name "64-bit binary floating 
point number" sounds like insult

I agree that float! would have been a better name than decimal! (not 
real! because they aren't). Too late now.

real! is not that bad either, actually, they are (subset of) real 
numbers, with "just a bit twiddled" arithmetic

That "subset of" is the kicker. Integers are also a subset of real 
numbers.

anyway, money! are implemented to have floating (really decimal in 
that case) point too

yes, but (Rebol) integers are subset of integers too

Brian, regarding graphics, wouldn't it be normal to convert the floats 
to integers before doing the modulus calculation? I may be wrong, 
but I'm not sure, I would need float modulus in such application.

so, integer! datatype comprises some integer numbers, therefore the 
real! datatype could comprise some real number IMO

In Python, they call them reals. In Lua, you just have numbers. Integers 
and floats are the same internally as far as I can see.

Reals surely is a much more appropriate name, than decimals

Thanks! :) I think the same.

...but I bet, that I and Geomol would be OK with IEEE-754! or a similarly 
"ugly" name, which may really scare some people

I still think float! is the most appropriate, due to that significant 
"subset of" thing.

but, if you want be that precise, you cannot use the integer! name 
either

make IEEE-754! exp 1
oh no! :)

I agree on real!

A problem with "float" might be, that many will think 32-bit right 
away. And we have 64 bits to play with.

Geomol, it wouldn't be normal to convert to integers first if you 
are trying to manage rounding and the specific integer values are 
only an end-device approximation of real valued proportions and coordinates. 
In other cases, converting to integers would be appropriate. It varies.

nevertheless, I guess, now it is not real to require real! as the 
real name :-D

A 64bit float is still a float. There are 128bit IEEE754 floats too 
(and perhaps 256bit, I don't know).

:)

No 256bit yet - it will come soon, I'm sure :)

there is a "slight" difference between "real" and "float" - both 
can be used, but "real" is more understandable for a layman than 
"float" - where does it float?

Another thing, we have pi:

>> pi
== 3.14159265358979

Would it be an idea to have e equal to:

>> exp 1
== 2.71828182845905

I mean, we can create pi ourselves with

arccosine/radians -1

, so why is pi there? And if it is, why isn't e there?

That is what  I like about the name. A programmer will understand 
the difference. REBOL is made for programmers, not laymen. We finally 
disabused ourselves of that delusion.

When do you use e when not doing exponents? Not familiar with e's 
use - I took calculus in 1987 and haven't used most of it since.

yes, but in the above case both "real" and "float" are actually of 
the "same information value" for an expert - not knowing from the 
name neither how many bits they use, nor what is the base (2 or 10)

re E: Rebol has LOG-E, so it would be natural to have E defined, 
the problem I see is, that the name is "too short", so Carl wanted 
to leave it for "common use"

Ah, but "float" is a keyword for programmers that implies binary 
floating-point numbers (usually IEEE754), while "real" is a keyword 
for what floating point numbers (binary or decimal) *appproximate*. 
You know, the real world. The "real" pi doesn't have a finite binary 
representation. That distinction is why I like "float" instead. All 
moot now though - we are stuck with decimal!.

We could call integers for Integral, like Python have numbers.Integral
(just kiddin)
I like integer! and real!
(I may change my mind.)