[Needs testing][TASK] Implement a int type in php