| Id | FN4 |
| Ml Name | bi_conversion |
| Py Function | lambda x: z + y_ub if ( z := math.fmod(a*x - y_lb, y_ub - y_lb) ) < 0 else z + y_lb |
| Py Names In Scope | {'a', 'y_lb', 'y_ub'} |
| Comments | fmod(x, y) is equal to x - n*y, for some integer n, such that the result has the same sign as x and magnitude less than the range abs(y). |