Blum_integer loading ...