inline fdd2val to fix gcc 'pointer size' warnings