use numeric_std for decoder