#include <fenv.h>
#include <stdio.h>
int main() {
double a = 15.467;
fesetround(FE_DOWNWARD);
}
I2luY2x1ZGUgPGZlbnYuaD4KI2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbigpIHsKICAgICAgICBkb3VibGUgYSA9IDE1LjQ2NzsKICAgICAgICBmZXNldHJvdW5kKEZFX0RPV05XQVJEKTsKICAgICAgICBwcmludGYoIiUuMWxmIiwgYSk7Cn0K