Migrates the int assertions to the spike implementation.