Simplify #2^30+2^30+2^30+2^30# ?