actually export binary_bcd_time