use Token.{float,integer}