#17 bigloo: file-modification-time wrong output

[Anonymous]

The bigloo procedure file-modification-time returns wrong results in most cases since the current number of seconds since Jan 1, 1970 does not fit in bigloo integer presentation (30bit)