ModelicaServices: machine constants

[AHaumer]

I know that ModelicaServices are "models and functions used in the Modelica Standard Library requiring a tool specific implementation".
Nevertheless, is it desired that machine constants depend on the tool and/or the computer where a model is simulated?
Do we get results that can be compared (if the models uses machine constants to prevent from overflow or underflow)?
Does it make sense to provide functions to compute some machine constants in a reliable way?
I have test implementations:

function small
  extends Modelica.Icons.Function;
  output Real result;
protected 
  Integer n;
algorithm 
  n := 1;
  while 1/2^n > 0 loop
    n := n+1;
  end while;
  result := 1/2^(n-1);
end small;

function eps
  extends Modelica.Icons.Function;
  output Real result;
protected 
  Integer n;
algorithm 
  n := 1;
  while 1+1/2^n > 1 loop
    n := n+1;
  end while;
  result := 1/2^(n-1);
end eps;

[AHaumer]

Sorry for opening a new issue: compare #2056