Data-types optimization for floating-point formats by program transformation | IEEE Conference Publication | IEEE Xplore