db_patch should be an int

db_patch has reached 10, it should be treated as an int to ensure the correct ordering of patches.