Make frame number type consistent

The frame numbers are ultimately stored as uint64_t so to avoid any implementation dependent casting we make sure all direct and indirect references to this value are stored as uint64_t

Test: Existing tests
Change-Id: Id00ff8fceeb6adff3dbb63746920c1010aada09d