Hi Vladimir, On 13.01.20 13:23, Vladimir Ivanov wrote: > Would be nice to rename iff_le to iff_lt as well. Good catch, I'll adjust that before pushing. > Otherwise, looks good. Thanks for the review! Best regards, Tobias