What about :

sffi :: (Integral a,Num a) => Integer -> Maybe a
sffi n = go n (fromInteger n)
where
go a b | toInteger b == a = Just b
| otherwise = Nothing