My guess is Zanz coded it so that when a creature's burrow ability is activated, the card's attack shown will be halved. Since Graboids apply that status simply by summoning (probably a separate subroutine), the card doesn't have to say 4|3 in the hand to turn out 2|3 on the table.