El formato es # 0000000x.yyyyyyyy en caso de un error del CPU, o # aabbcccc.dddddddd en el caso de un error del software del sistema.