Transform bad offsets

[orklah]

This fixes #4894 in two ways:

• It transforms any literal float to a literal int instead of just an int on ArrayAnalyzer
• It transforms any bad offset to an acceptable offset in ArrayFetchAnalyzer

I'm not completely satisfied by the fix however, the two objects each detects bad offsets with a different code. I just added the transformation in between. This may be refactored later to extract the common code and use the same detection

[muglug]

Thanks!