Am 18.02.20 um 13:26 schrieb Alexander Hofmann via fpc-devel: > Dear all, > > while investigating a bug in an application designed for ARM with > floating point emulation enabled, I stumbled upon the following problem: Thanks for reporting and providing a fix, I committed it in r44235.