Fixed wrong configuration of modf in std.cfg (#6312)