Submitted by: @artyom-smirnov

Also probably inconsistency of formatting values in range -1 < 0 < 1. Padding zeros not always rendered right.

set list;
select char_length(cast(cast(0 as double precision) as varchar(20))),
char_length(cast(cast(0.1 as double precision) as varchar(20))),
char_length(cast(cast(1 as double precision) as varchar(20))),
char_length(cast(cast(1.1 as double precision) as varchar(20))) from rdb$database;

on linux result is:
CHAR_LENGTH 17
CHAR_LENGTH 18
CHAR_LENGTH 17
CHAR_LENGTH 17

on windows result is:
CHAR_LENGTH 18
CHAR_LENGTH 18
CHAR_LENGTH 17
CHAR_LENGTH 17