int i = (int)floor(25.342);

int i = (int)floor(25.342);

注意，这将把12.99999转换为12。
Ref

其中x是您的25.342：

int i = x >= 0 ? (int)(x+0.5) : (int)(x-0.5)

#include <math.h>
#include <stdio.h>

int main(){

    double d = 25.342;
    double e = -12.99;

    printf("%d\n",(int)round(d)); // 25
    printf("%d\n",(int)round(e)); // -13

    return 0;
}

您可能还需要查看stdint. h