Converting incoming int into TTInt32