Moving the Int and Float declaration from SDF into K.

Let's see if it passes the tests.