Bug with number types