Имам дълбоко вложена структура от данни с плаващи навсякъде. Използвам FsCheck, за да проверя дали данните са непроменени след сериализиране и след това десериализиране. Това свойство е неуспешно, когато float е или NaN, или +/- безкрайност, но...