fixes, added modf~

fixes, added modf~ from libc, deleted int~ and updated abstractions to
be more efficient and updated abstractions use modf~ instead of int~