  We set up some basic module theory over semirings, with particular attention
to scheme theory over semirings. We show that while not all the usual
definitions of vector bundle agree over semirings, all the usual definitions of
line bundle do agree. We also show that the narrow class group of a number
field can be recovered as a reflexive Picard group of its subsemiring of
totally nonnegative algebraic integers.
