Updated paths to IntExtention and FloatExtension imports.