move round(double) in platform.c to platform.h