Migration to NumericPrelude successful.
Migration to NumericPrelude successful.

drmaruyama/Paraiso,drmaruyama/Paraiso,nushio3/Paraiso,drmaruyama/Paraiso,nushio3/Paraiso,nushio3/Paraiso,drmaruyama/Paraiso,nushio3/Paraiso